From 42fa9353a184d81df448e9176f11e5fcd027351c Mon Sep 17 00:00:00 2001
From: oliskoli <oliskoli>
Date: Sat, 7 Jul 2007 21:49:06 +0000
Subject: [PATCH] gdb: Add possible output of GDB version 3 format.

---
 xmldoc/formats/options/gdb-ver.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/xmldoc/formats/options/gdb-ver.xml b/xmldoc/formats/options/gdb-ver.xml
index 847a9ac1e..6b736592e 100644
--- a/xmldoc/formats/options/gdb-ver.xml
+++ b/xmldoc/formats/options/gdb-ver.xml
@@ -1,5 +1,5 @@
 <para>
 This option specifies the data format version for the output file.  Version
-2 is the default.  Currently, the only other valid value for this option is
-1.
+2 is the default.  Currently, the only other valid values for this option are
+1 and 3.
 </para>
-- 
2.30.2